Listing 1 - 10 of 35 | << page >> |
Sort by
|
Choose an application
This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Solutions to many problems are provided to let students check their progress, while class-tested PowerPoint slides are on the web for anyone running the course. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author guides students around the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. The book fosters a deeper understanding of how and why each algorithm works. These insights are presented in a careful and clear way, helping students to think abstractly and preparing them for creating their own innovative ways to solve problems.
Computer science --- 681.3*F2 --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Algorithms --- Invariants --- Loops (Group theory) --- Recursion theory --- Logic, Symbolic and mathematical --- Loop groups --- Group theory --- Algorism --- Algebra --- Arithmetic --- Study and teaching --- Foundations --- Study and teaching.
Choose an application
Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated computer codes. The resulting modi?cations have been incorporated in this new edition and its accompanying software. The major change between the second and third editions, however, is caused by the new implementation of Numerical Python, now called numpy. The new numpy package encourages a slightly di?erent syntax compared to the old Numeric implementation, which was used in the previous editions. Since Numerical Python functionality appears in a lot of places in the book, there are hence a huge number of updates to the new suggested numpy syntax, especially in Chapters 4, 9, and 10. The second edition was based on Python version 2.3, while the third edition contains updates for version 2.5. Recent Python features, such as generator expressions (Chapter 8.9.4), Ctypes for interfacing shared libraries in C (Chapter 5.2.2), the with statement (Chapter 3.1.4), and the subprocess module for running external processes (Chapter 3.1.3) have been exempli?ed to make the reader aware of new tools. Chapter 4.4.4 is new and gives a taste of symbolic mathematics in Python.
Python (Computer program language) --- Science --- Data processing. --- Electronic data processing --- Scripting languages (Computer science) --- Python (Computer program language). --- 519.6 --- 681.3*D31 --- 681.3*g --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Data processing --- Computer science. --- Software engineering. --- Engineering. --- Computational Science and Engineering. --- Numerical and Computational Physics, Simulation. --- Software Engineering/Programming and Operating Systems. --- Computational Intelligence. --- Construction --- Industrial arts --- Technology --- Computer software engineering --- Engineering --- Informatics --- Computer mathematics. --- Physics. --- Computational intelligence. --- Computer mathematics --- Mathematics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Intelligence, Computational --- Artificial intelligence --- Soft computing
Choose an application
systeemontwikkeling --- computerprogramma's --- 681.3 --- Computer science --- Subversion (Computer file) --- Computer software --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Development of computer software --- Software development --- Development --- Computerprogramma's --- Systeemontwikkeling --- Computer software - Development
Choose an application
computerbesturingssystemen --- OS (operating system) --- Computer architecture. Operating systems --- Operating systems (Computers) --- 681.3*D4 --- Besturingssystemen --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems--See also {681.3*C} --- Operating systems --- 681.3*D4 Operating systems--See also {681.3*C}
Choose an application
Programming --- datastructuren --- Java (informatica) --- 510.2 --- 681.3.06 --- Algoritmen --- Datastructuren --- Java --- Programmeren --- Java (programmeertaal)
Choose an application
Psychology, Military. --- Sociology, Military. --- Human behavior --- Organizational behavior --- Behavior in organizations --- Management --- Organization --- Psychology, Industrial --- Social psychology --- Action, Human --- Behavior, Human --- Ethology --- Human action --- Human beings --- Human biology --- Physical anthropology --- Psychology --- Social sciences --- Psychology, Comparative --- Military sociology --- Armed Forces --- Armies --- Peace --- War --- War and society --- Military psychology --- Psychology, Applied --- Sociology, Military --- Military morale --- Operational psychology --- Simulation methods. --- Behavior --- Psychology, Military --- 681.3*I21 --- 681.3*J1 --- 681.3*J4 --- 681.3*J4 Social and behavioral sciences (Computer applications) --- Social and behavioral sciences (Computer applications) --- 681.3*J1 Administrative data processing (Computer applications) --- Administrative data processing (Computer applications) --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Simulation methods
Choose an application
Logic programming --- 681.3*I26 <063> --- 681.3*I25 <063> --- 681.3*I24 <063> --- 681.3*F41 <063> --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence)--Congressen --- 681.3*I25 <063> Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32}--Congressen --- 681.3*I26 <063> Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer programming --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Conferences - Meetings --- 681.3*F1 --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Algorithms. --- Mathematical logic. --- Data mining. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Academic collection --- 681.3*I23 <063> --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Programming --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Information Technology --- Artificial Intelligence --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems
Choose an application
This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008. The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.
Logic programming --- Induction (Logic) --- Inductive logic --- Logic, Inductive --- Logic --- Reasoning --- Information Technology --- Artificial Intelligence --- 681.3*D16 <063> --- 681.3*I26 <063> --- 681.3*I23 <063> --- 681.3*I2 <063> --- 681.3*F41 <063> --- Computer programming --- 681.3*I26 <063> Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32}--Congressen --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Computer science--?*D16 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Artificial intelligence. --- Computer science. --- Computer software. --- Data mining. --- Artificial Intelligence. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Data Mining and Knowledge Discovery. --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Software, Computer --- Computer systems --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer programming. --- Mathematical logic. --- Algorithms. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorism --- Algebra --- Arithmetic --- Programming --- Foundations
Choose an application
How many times have you seen a web site and said, “This would be exactly what I wanted— if only . . . ” If only you could combine the statistics here with data from your company’s earnings projections. If only you could take the addresses for those restaurants and plot them on one map. How often have you entered the date of a concert into your calendar with a single click instead of retyping? How often do you wish that you could make all the different parts of your digital world—your e-mail, your word processor documents, your photos, your search results, your maps, your presentations—work together more seamlessly? After all, it’s all digital and malleable information—shouldn’t it all just fit together? In fact, below the surface, all the data, web sites, and applications you use could fit together. This book teaches you how to forge those latent connections—to make the Web your own—by remixing information to create your own mashups. A mashup, in the words of the Wikipedia, is a web site or web application “that seamlessly combines content from more than one source 1 into an integrated experience. ” Learning how to draw content from the Web together into new integrated interfaces and applications, whether for yourself or for other others, is the central concern of this book.
Web 2.0. --- Mashups (World Wide Web) --- Web site development. --- Development of Web sites --- Web sites --- Internet programming --- World Wide Web --- Development --- Information Technology --- Computer Science (Hardware & Networks) --- Computer programming. --- Software engineering. --- Web Development. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Web 2.0 --- Web site development --- 681.3*H1 --- 681.3*H35 --- 681.3*H43 --- 681.3*H43 Communications applications: electronic mail; teleconferencing; videotex (Information systems applications) --- Communications applications: electronic mail; teleconferencing; videotex (Information systems applications) --- 681.3*H35 On-line information services: data bank sharing --- On-line information services: data bank sharing --- 681.3*H1 Models and principles (Information systems) --- Models and principles (Information systems) --- Computer architecture. Operating systems --- Information systems
Choose an application
Create scalable, reusable high-quality JavaScript applications and libraries
Computer software --- JavaScript (Computer program language) --- Object-oriented programming (Computer science) --- Software patterns. --- Patterns, Software --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Domain-specific programming languages --- Object-oriented programming languages --- Scripting languages (Computer science) --- Reusability of software --- Reusable code (Computer programs) --- Software reusability --- Software reengineering --- Generic programming (Computer science) --- Reusability. --- Development --- 681.3*D32 --- 681.3*D23 --- 681.3*D15 --- 681.3*D23 Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- 681.3*D15 Software: object-oriented programming --- Software: object-oriented programming --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages)
Listing 1 - 10 of 35 | << page >> |
Sort by
|